#!/bin/bash

kill -5 `cat ke.pid`
rm -f ke.pid
